Algebra and Substructural Logics – Take Schedule and Abstracts
نویسندگان
چکیده
09:20 09:30 Opening 09:30 10:10 Daniele Mundici Deductive interpolation in Łukasiewicz logic and amalgamation of MV-algebras 10:10 10:50 George Metcalfe Craig Interpolation for Semilinear Varieties 10:50 11:20 Break 11:20 12:00 Leonardo Cabrer, José Gil-Férez Leibniz Interpolation Properties 12:00 12:40 小野寛晰 (Hiroakira Ono) Regular completions of residuated lattices 12:40 14:10 Lunch break 14:10 14:50 林哲 (Zhe Lin) Finite Embeddability Property of S4 modal residuated groupoids 14:50 15:30 関隆宏 (Takahiro Seki) An Algebraic Proof of the -admissibility of Relevant Modal Logics 15:30 16:10 William Young,小野寛晰 (Hiroakira Ono) Modal substructural logics 16:10 16:40 Break 16:40 17:20 Alberto Carraro Resource combinatory algebras 17:20 18:00 Sándor Jenei,小野寛晰 (Hiroakira Ono) On involutive FLe algebras 18:00 19:30 Reception
منابع مشابه
Substructural Logics and Residuated Lattices — an Introduction
This is an introductory survey of substructural logics and of residuated lattices which are algebraic structures for substructural logics. Our survey starts from sequent systems for basic substructural logics and develops the proof theory of them. Then, residuated lattices are introduced as algebraic structures for substructural logics, and some recent developments of their algebraic study are ...
متن کاملInterpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics
This paper develops a comprehensive study of various types of interpolation properties and Beth definability properties for substructural logics, and their algebraic characterizations through amalgamation properties and epimorphisms surjectivity. In general, substructural logics are algebraizable but lack many of the basic logical properties that modal and superintuitionistic logics enjoy (cf. ...
متن کاملSubstructural Logics over Fl I: Algebraization, Parametrized Local Deduction Theorem and Interpolation
Substructural logics have received a lot of attention in recent years from the communities of both logic and algebra. We discuss the algebraization of substructural logics over the full Lambek calculus and their connections to residuated lattices, and establish a weak form of the deduction theorem that is known as parametrized local deduction theorem. Finally, we study certain interpolation pro...
متن کاملNonassociative Substructural Logics and their semilinear Extensions: Axiomatization and Completeness Properties
Substructural logics extending the full Lambek calculus FL have largely benefited from a systematical algebraic approach based on the study of their algebraic counterparts: residuated lattices. Recently, a non-associative generalization of FL (which we call SL) has been studied by Galatos and Ono as the logics of lattice-ordered residuated unital groupoids. This paper is based on an alternative...
متن کاملEQ-logics with delta connective
In this paper we continue development of formal theory of a special class offuzzy logics, called EQ-logics. Unlike fuzzy logics being extensions of theMTL-logic in which the basic connective is implication, the basic connective inEQ-logics is equivalence. Therefore, a new algebra of truth values calledEQ-algebra was developed. This is a lower semilattice with top element endowed with two binary...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010